Buy Used and New Davide Sangiorgi Books

Advanced Topics in Bisimulation and Coinduction (Cambridge Tracts in Theoretical Computer Science)

by

ISBN 13: 9781107004979

Format: Hardcover (340 pages)
Publisher: Cambridge University Press
Published: 13 Oct 2011

Save for later

Introduction to Bisimulation and Coinduction

by Davide Sangiorgi

ISBN 13: 9781107003637

Format: Hardcover (260 pages)
Publisher: Cambridge University Press
Published: 13 Oct 2011

Save for later

The Pi-Calculus: A Theory of Mobile Processes

by Davide Sangiorgi, David Walker

ISBN 13: 9780521543279

Format: Paperback (596 pages)
Publisher: Cambridge University Press
Published: 16 Oct 2003

Save for later

Theoretical Computer Science: 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings: 8705 (Lecture Notes in Computer Science)

by Josep Diaz,Ivan Lanese,Davide Sangiorgi

ISBN 13: 9783662446010

Format: Paperback (372 pages)
Publisher: Springer
Published: 01 Aug 2014

Save for later